Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·11h·
Discuss: DEV
🌳Pattern Match Compilation
# 8 Apothem ...History and Etymology of Math Terms
pballew.blogspot.com·9h·
📐Mathematical Computing
An Illustrated Introduction to Linear Algebra
ducktyped.org·3h·
Discuss: Hacker News
🧮Linear Algebra
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·20h·
Discuss: Hacker News
🔢Algebraic Datatypes
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·5h·
Discuss: Hacker News
🧮Theorem Provers
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·16h·
Discuss: Hacker News
🔢Algebraic Datatypes
The math Module in Python: 6 Common Calculations You Can Make
howtogeek.com·23h
📐Mathematical Computing
An Senegalese Legal Texts Structuration Using LLM-augmented Knowledge Graph
arxiv.org·11h
🔍ML Language
Simple hash map in C, for learning purpose
reddit.com·4h·
🏷️Symbol Interning
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·21h
🧮Combinator Calculus
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·3d·
Discuss: Hacker News
📐Mathematical Computing
blink-calc - blink source for math expressions 🧮
github.com·4h·
Discuss: r/neovim
🐍lisp
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
💬Interactive REPLs
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·2d·
Discuss: Hacker News, r/LLM
🔍ML Language
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·1d·
Discuss: Hacker News
🧩Constraint Solvers
The Church of Emacs
jxself.org·48m
📖Literate Programming
This one Excel symbol will change how you write formulas
makeuseof.com·4h
📇Symbol Tables
XiangShan Vector Floating-Point Unit Design
docs.xiangshan.cc·1d·
Discuss: Hacker News
🎯Bit Vectors
Show HN: Yutovo – Visual Online Calculator
yutovo.com·2h·
Discuss: Hacker News
📐Mathematical Computing
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.com·5h·
Discuss: Hacker News
⚖️Inference Rules